Logical Grounding and First-Degree Entailments
نویسندگان
چکیده
منابع مشابه
A Cut-free Gentzen Calculus with Subformula Property for First-degree Entailments in Lc
In this paper, we introduce and study a multiple-conclusion cut-free propositional Gentzen calculus with subformula property for first-degree entailments (in Dunn’s sense [4], [5]) in Dummett’s linear intermediate logic LC [3] that is obtained from Gentzen’s propositional calculus LK [6] by restricting the rules of introduction of negation to the right side of sequents by allowing their right s...
متن کاملA Logical Framework for Grounding-based Dialogue Analysis
A major critique against BDI (Belief, Desire, Intention) approaches to communication is that they require strong hypotheses such as sincerity and cooperation on the mental states of the agents (cf. for example [13,14,5]). The aim of this paper is to remed this defect. Thus we study communication between heterogeneous agents via the notion of grounding, in the sense of being publicly expressed a...
متن کاملA logical framework for grounding - based dialogue analysis 1
A major critique against BDI (Belief, Desire, Intention) approaches to the communication is that they require strong hypotheses such as sincerity, cooperation, ... on the mental states of the agents (cf. for example [12], [13], [5]). The aim of this paper is to give an operator remeding this defect to a logic BDI. Thus we study communication between heterogeneous agents via the notion of ground...
متن کاملFirst-Order Logical Filtering
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intractable in dynamic domains that include many objects and relationships. Still, potential applications for such domains (e.g., semantic web, autonomous agents, and partial-knowledge games) encourage research beyond immed...
متن کاملFirst-order logical duality
From a logical point of view, Stone duality for Boolean algebras relates theories in classical propositional logic and their collections of models. The theories can be seen as presentations of Boolean algebras, and the collections of models can be topologized in such a way that the theory can be recovered from its space of models. The situation can be cast as a formal duality relating two categ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Grazer Philosophische Studien
سال: 2015
ISSN: 0165-9227,1875-6735
DOI: 10.1163/9789004302273_002